<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8">
  <title>cide - Isolated test runner with Docker</title>

  <!-- jQuery -->
  <script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
  <script src="//code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>

  <!-- marked -->
  <script src="//chutsu.github.io/ditto/ver/0.12/marked.js"></script>

  <!-- highlight -->
  <link rel="stylesheet" href="//chutsu.github.io/ditto/ver/0.12/github.css"> 
  <script src="//chutsu.github.io/ditto/ver/0.12/highlight.js"></script>

  <!-- ditto -->
  <link rel="stylesheet" href="//chutsu.github.io/ditto/ver/0.12/ditto.css">
  <script src="//chutsu.github.io/ditto/ver/0.12/ditto.js"></script>
</head>
<body>
  <!-- essential -->
  <div id="sidebar"></div>
  <div id="content"></div>
  <div id="hide"></div>

  <!-- optional -->
  <div id="back_to_top">back to top</div>
  <div id="edit">edit</div>
  <div id="loading">Loading ...</div>
  <div id="error"></div>

  <script>
    $(function($) {
      // essential settings
      ditto.index = "README.md";
      ditto.sidebar_file = "docs/sidebar.md";

      // optional settings if you want github search
      ditto.github_username = "zimbatm";
      ditto.github_repo = "cide";
      ditto.highlight_code = true;

      // where the docs are actually stored on github - so you can edit
      ditto.base_url = "https://github.com/zimbatm/cide/edit/master";

      // run
      ditto.run();
    });
  </script>
</body>
</html>
